US 1983 budget: Tighter still

Policy Punctuations : US Budget

Online (and Offline) on an Even Tighter Budget

We develop a fast online kernel algorithm for classification which can be viewed as an improvement over the one suggested by (Crammer, Kandola and Singer, 2004), titled ”Online Classificaton on a Budget”. In that previous work, the authors introduced an on-the-fly compression of the number of examples used in the prediction function using the size of the margin as a quality measure. Although di...

Increase in US medication-error deaths between 1983 and 1993.

Does Cultural Capital Still Classify Us?

Bourdieu’s Distinction, which was first published in 1979, is one of the most cited and read works of sociology written in French—which does not, however, mean that it is always read correctly. Since its appearance, the book, which was as original in its substance as in its methodology, has met with a mixed reception, eliciting dithyrambic praise as well as acerbic attacks from scholars and jou...

Büchi Complementation Made Tighter

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In particular, the language-containment problem, to which many verification problems is reduced, involves complementation. For automata on finite words, which correspond to safety properties, complementation involves determinization. The 2 blow-up that is caused by the subset constru...